TSTP Solution File: DAT215^1 by SInE---0.4